#include "Count7.h"
#ifdef __cplusplus
extern "C" {
#endif
    void* counter7_new() {
        return new Count7;
    }

    void counter7_count(void* inst) {
        Count7* c7 = (Count7*) inst;
        c7 -> count();
    }

    void counter7_load(void* inst, const svBitVecVal* i) {
        Count7* c7 = (Count7*) inst;
        c7 -> load(i);
    }

    void counter7_reset(void* inst) {
        Count7* c7 = (Count7*) inst;
        c7 -> reset();
    }

    int counter7_get(void* inst) {
        Count7* c7 = (Count7*) inst;
        return c7 -> get();
    }
#ifdef __cplusplus
}
#endif
